David Thomas - PDFSEARCH.IO - Document Search Engine

David Thomas
Results: 1142

#	Item
131	NOAA Fleet Update May 2016 The following update provides the status of NOAA’s fleet of ships and aircraft, which play a critical role in the collection of oceanographic, atmospheric, hydrographic, and fisheries data. N Add to Reading List Source URL: www.legislative.noaa.gov Language: English - Date: 2016-05-05 13:13:25 Fisheries science National Oceanic and Atmospheric Administration NOAAS Bell M. Shimada David A. Score NOAAS Nancy Foster NOAAS Rainier NOAAS Oregon II NOAA Commissioned Officer Corps NOAAS Fairweather NOAAS Thomas Jefferson NOAA ships and aircraft Michael S. Devany
132	A Genome-Wide Association Study (GWAS) for Bronchopulmonary Dysplasia Hui Wang, Krystal R. St. Julien, David K. Stevenson, Thomas J. Hoffmann, John S. Witte, Laura C. Lazzeroni, Mark A. Krasnow, Cecele C. Quaintance, Joh Add to Reading List Source URL: cmgm.stanford.edu Language: English - Date: 2013-08-30 22:39:54
133	The State of the Chapel Union Bradford L. Chamberlain, Sung-Eun Choi, Martha Dumler Thomas Hildebrandt, David Iten, Vassily Litvinov, Greg Titus Cray Inc. Seattle, WAchapel Add to Reading List Source URL: chapel.cray.com Language: English - Date: 2014-09-18 19:17:35
134	SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-10-06 13:24:19 Computing Software System software Application programming interfaces Rename Symbolic link POSIX File system permissions Hard link File locking File system Tar
135	Sawja: Static Analysis Workshop for Java Laurent Hubert1 , Nicolas Barr´e2 , Fr´ed´eric Besson2 , Delphine Demange3 , Thomas Jensen2 , Vincent Monfort2 , David Pichardie2 , and Tiphaine Turpin2 1 CNRS/IRISA, France Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2010-10-28 18:07:06
136	Neither Snow Nor Rain Nor MITMAn Empirical Analysis of Email Delivery Security Zakir Durumeric† David Adrian† Ariana Mirian† James Kasten† Elie Bursztein‡ Nicolas Lidzborski‡ Kurt Thomas‡ Vijay Erant Add to Reading List Source URL: zakird.com Language: English Email Internet protocols Spam filtering Message transfer agents Opportunistic TLS Simple Mail Transfer Protocol DMARC Postfix Transport Layer Security DomainKeys Identified Mail Opportunistic encryption Extended SMTP
137	Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux† Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-01-14 08:37:02 Algebra Mathematics Software engineering Predicate logic Abstract interpretation Galois connection Galois theory Order theory Linear map Free variables and bound variables Loop invariant Flow chart language
138	Neither Snow Nor Rain Nor MITMAn Empirical Analysis of Email Delivery Security Zakir Durumeric† David Adrian† Ariana Mirian† James Kasten† Elie Bursztein‡ Nicolas Lidzborski‡ Kurt Thomas‡ Vijay Erant Add to Reading List Source URL: mdbailey.ece.illinois.edu Language: English - Date: 2015-11-02 23:42:17 Computing Internet Cyberspace Email Internet protocols Spam filtering Cryptographic protocols Opportunistic TLS Simple Mail Transfer Protocol DMARC Transport Layer Security DomainKeys Identified Mail
139	Neither Snow Nor Rain Nor MITMAn Empirical Analysis of Email Delivery Security Zakir Durumeric† David Adrian† Ariana Mirian† James Kasten† Elie Bursztein‡ Nicolas Lidzborski‡ Kurt Thomas‡ Vijay Erant Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2015-11-02 23:42:17
140	POLITICS IN A DIFFERENT MODE: AN APPRECIATION OF MICHAEL OAKESHOTT 1901–1990 David Boucher Add to Reading List Source URL: 212.48.84.29 Language: English - Date: 2015-03-04 14:25:23 Philosophy Academia Conservatism Michael Oakeshott Social philosophy Paul Franco Oakeshott British idealism Thomas Hobbes Political philosophy Ideology